<?php
$refresh = json_decode($_GET["query"]);
	foreach($refresh->stylesheets as $file => $value){
		$path = $refresh->location . str_replace('/','\\',$file);
		$refresh->stylesheets->$file=fileatime($path);
	}
	$docPath = $refresh->location . str_replace('/','\\',$refresh->document->file);
	$refresh->document->time = fileatime($docPath);
print(json_encode($refresh));
?>